(redisplay_preserve_echo_area): Declare it as void.

diff --git a/src/xdisp.c b/src/xdisp.c
index 33e6e9c70fd6caf0ab9339488b4e6f5b0ccfbad2..506dfac559575bc7e1c6c6aa3c27e4995e11704a 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -1379,6 +1379,7 @@ update:
    area to be cleared.  See tracking_off and
    wait_reading_process_input for examples of these situations.  */
 
+void
 redisplay_preserve_echo_area ()
 {
   if (echo_area_glyphs == 0 && previous_echo_glyphs != 0)